Search Results

Tiark Rompf - Strong Normalization for Dependent Object Types (DOT)

Tiark Rompf - Strong Normalization for Dependent Object Types (DOT)

Normalization by Evaluation for Sized Dependent Types

Normalization by Evaluation for Sized Dependent Types

[Wadlerfest 2016] Martin Odersky: The Essence of Dependent Object Types

[Wadlerfest 2016] Martin Odersky: The Essence of Dependent Object Types

A Simple Soundness Proof for Dependent Object Types

A Simple Soundness Proof for Dependent Object Types

Flare: Scale Up Spark with Native Compilation and Set Your Data on Fire by Tiark Rompf

Flare: Scale Up Spark with Native Compilation and Set Your Data on Fire by Tiark Rompf

[Wadlerfest 2016] Tiark Rompf: The Essence of Multi-stage Evaluation in LMS

[Wadlerfest 2016] Tiark Rompf: The Essence of Multi-stage Evaluation in LMS

What is the difference between strong normalization and weak normalization in the context of...

What is the difference between strong normalization and weak normalization in the context of...

Flare & Lantern: Accelerators for Spark and Deep Learning - Tiark Rompf

Flare & Lantern: Accelerators for Spark and Deep Learning - Tiark Rompf

[Midwest PL Summit] Opening Tiark Rompf and Milind Kulkarni

[Midwest PL Summit] Opening Tiark Rompf and Milind Kulkarni

Tiark Rompf - DSL Embedding in Scala [1/2]

Tiark Rompf - DSL Embedding in Scala [1/2]

Normalization property (abstract rewriting)

Normalization property (abstract rewriting)

Abstraction Without Regret

Abstraction Without Regret